Automatic Test Generation Using Checkpoint Encoding And Antirandom Testing - PROCEEDINGS The Eighth International Symposium On Software Reliability Engineering

T h e imp lemen ta t ion of a n e f i c i en t au tomat i c t e s t generat ion s c h e m e f o r black-box testing i s discussed. I t u ses checkpoint encoding and an t i random test ing schemes. Checkpoint encoding converts t e s t generat i o n t o a binary problem. T h e checkpoints are selected as the boundary and illegal cases in addi t ion to valid cases t o probe t h e inpu t space. A n t i r a n d o m test ing selects each tes t case such tha t it i s as dif fere n t as possible f r o m all t he previous tes ts . T h e imp lemen ta t ion is illustrated using benchmark examples t h a t have been used in the literature. Use of r a n d o m test ing both w i th checkpoint encoding and w i thou t i s also reported. Compar i son and evaluat ion of t h e effect iveness of t hese methods is also presented. Implications of t he observations f o r larger software s y s t e m s are noted. Overall , an t i random testing gives higher code coverage than encoding r a n d o m test ing, wh ich gives higher code coverage t h a n pure r a n d o m test ing.